OOLP: A Translation Approach to Object-Oriented Logic Programming

OOLP integrates the superior modeling capabilities of object-oriented paradigm in the declarative framework of logic programming. Method in-vocation in OOLP is given a precise model theoretic semantics which is consistent with that of logic programming. OOLP is extended to a practical object-oriented database language OOLP+ by adding some extra-logical features. OOLP+ allows object identity, multiple inheritance, method overriding and dynamic updating among other features. OOLP+ is implemented by translating it to Prolog. The translated programs executes without meta-interpretation. This allows the use of all Prolog or Datalog optimization techniques. In this respect OOLP+ is unique among alternative proposals presented in the literature.